Revert previous change.
authorGlenn Morris <rgm@gnu.org>
Fri, 21 May 2010 01:39:21 +0000 (18:39 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 21 May 2010 01:39:21 +0000 (18:39 -0700)
commitbba6b2be9a7ae60484ff0375d89a7e80816e67d7
tree5872a40adea7936410426ba6ce4fce792fd02963
parent79e62d7024ebfb73888e816d528ad0c08b1cb974
Revert previous change.
I misunderstood EXEEXT (I don't think it can be working though).
src/ChangeLog
src/Makefile.in